You have chosen Saundaranandakavya, A Completeness Theorem in Modal Logic and Saundaranandakavya.
All three must be different; choose another text.